Operational semantics - PDFSEARCH.IO - Document Search Engine

Operational semantics
Results: 199

#	Item
11	Deriving the Full-Reducing Krivine Machine from the Small-Step Operational Semantics of Normal Order Álvaro García-Pérez Pablo Nogueira Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2016-05-31 08:00:52
12	Rule formats for bounded nondeterminism in structural operational semantics Luca Aceto Álvaro García-Pérez Add to Reading List Source URL: babel.ls.fi.upm.es - Date: 2016-05-31 08:08:10
13	THE UNIVERSITY OF CHICAGO OPERATIONAL SEMANTICS FOR SCHEME VIA TERM REWRITING A DISSERTATION SUBMITTED TO THE FACULTY OF THE DIVISION OF THE PHYSICAL SCIENCES Add to Reading List Source URL: plt.eecs.northwestern.edu - Date: 2010-03-12 16:21:49
14	Nominal Structural Operational Semantics? Luca Aceto1 , Matteo Cimini2 , Anna Ingolfsdottir1 , MohammadReza Mousavi3 , Michel A. Reniers4 , and Murdoch J. Gabbay5 1 ICE-TCS, School of Computer Science, Reykjav´ık Univ Add to Reading List Source URL: cimini.info - Date: 2015-12-30 23:47:11
15	Concepts of Programming Languages – Recitation 2: Natural Operational Semantics Oded Padon Reference: Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2016-03-17 14:06:02
16	Structural Operational Semantics Mooly Sagiv Reference: Semantics with Applications Chapter 2 H. Nielson and F. Nielson Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2014-03-30 15:02:50
17	Aachen Department of Computer Science Technical Report A Linear Operational Semantics for Termination and Complexity Analysis Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de - Date: 2011-07-08 05:07:15
18	‫הסדרים‪ ‬השונים‪ ‬ב‪ λcalculus ‬‬ ‫את‪ ‬כל‪ ‬הסדרים‪ ‬השונים‪ ‬ניתן‪ ‬לתאר‪ ‬כ‪ Operational Semantics ‬על‪ ‬בס Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2016-04-05 07:31:12
19	Concepts of Programming Languages – Recitation 3: (More) Natural Operational Semantics and Structural Operational Semantics Oded Padon Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2016-03-22 14:28:09
20	Concepts of Programming Languages – Recitation 4: Structural Operational Semantics (SOS) and From Semantics to Interpreters Oded Padon Reference: Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2015-04-19 13:50:48